Testing Techniques
نویسنده
چکیده
Prologue Testing is an important technique to check and control software quality. It is part of almost any software development project. Time and resources devoted to testing may vary from 30% up to 70% of a project's resources. Yet, testing is often an underexposed and underestimated part of software development. Also academic research and education in testing are rather low compared with the importance of the subject in real-life software projects. The course on testing techniques is intended to be a step towards bridging this gap. Testing techniques deals with a number of topics related to software testing. The aim is that the student will get insight into some of the problems of software testing and that (s)he gets familiar with a couple of solutions to these problems. Emphasis is on techniques for testing technical software systems, such as communication software, control systems and embedded software. Established testing techniques as well as new developments will be presented. In the latter category there will be a strong focus on the use of formal methods in the software testing process. It is impossible to give a complete view of all possible testing techniques and processes in a single course. It is my hope that testing techniques is a reasonable compromise between giving a complete overview of the broad field of testing and dealing thoroughly with distinct testing techniques without being too superficial. There are many testing topics which are not presented in the course; for these topics I refer to standard text books on software testing. These lecture notes are intended to support the course on testing techniques; they are not completely self-contained. Some topics will be more elaborately presented during the oral lectures than they are discussed in these notes, while other parts of these lecture notes serve as background information and will only be briefly mentioned during the lectures. The lecture notes consist of two parts. The first part deals with new developments in testing, in particular with software testing based on formal methods. It is a compilation of a number of articles: [BT01, TB99, Tre96b, Tre99]. The formal methods that are used are introduced in the text, but it certainly is not an introductory text on formal methods. Some basic knowledge about formal methods is desirable. The second part deals with established testing techniques. It consists of a collection of articles which address various techniques. Acknowledgements Numerous people contributed …
منابع مشابه
Low Power March Memory Test Algorithm for Static Random Access Memories (TECHNICAL NOTE)
Memories are most important building blocks in many digital systems. As the Integrated Circuits requirements are growing, the test circuitry must grow as well. There is a need for more efficient test techniques with low power and high speed. Many Memory Built in Self-Test techniques have been proposed to test memories. Compared with combinational and sequential circuits memory testing utilizes ...
متن کاملRadiation Safety Analysis, 2 Models of Industrial Radiography Techniques in Tubes Testing Using SuperMc 3.2
In this article, we used SuperMc 3.2 Software for have studied two models of welding radiographic techniques that are more common in radiographs (Dobell Walls and Single Image (DWSI) and Single Wall and Single Image (SWSI) technique) , without the use of a collimator and in terms of radiation risk and radiation safety. According to results, Due to the lack of a collimator, the risk of radiation...
متن کاملUsing Program Slicing Technique to Reduce the Cost of Software Testing
Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...
متن کاملProfiles of covering arrays of strength two
Covering arrays of strength two have been widely studied as combinatorial models of software interaction test suites for pairwise testing. While numerous algorithmic techniques have been developed for the generation of covering arrays with few columns (factors), the construction of covering arrays with many factors and few tests by these techniques is problematic. Random generation techniques c...
متن کاملLINEAR HYPOTHESIS TESTING USING DLR METRIC
Several practical problems of hypotheses testing can be under a general linear model analysis of variance which would be examined. In analysis of variance, when the response random variable Y , has linear relationship with several random variables X, another important model as analysis of covariance can be used. In this paper, assuming that Y is fuzzy and using DLR metric, a method for testing ...
متن کاملLook up Table Based Low Power Analog Circuit Testing
In this paper, a method of low power analog testing is proposed. In spite of having Oscillation Based Built in Self-Test methodology (OBIST), a look up table based (LUT) low power testing approach has been proposed to find out the faulty circuit and also to sort out the particular fault location in the circuit. In this paper an operational amplifier, which is the basic building block in the ana...
متن کامل